Constraint satisfaction problem

Results: 216



#Item
71Constraint satisfaction problem / Constraint satisfaction / NP-complete / NP / Computer science / Constraint programming / Computing / Local consistency

The Tractability of Global Constraints    Christian Bessiere , Emmanuel Hebrard , Brahim Hnich , and Toby Walsh 

Add to Reading List

Source URL: homepages.laas.fr

Language: English - Date: 2010-11-22 06:22:29
72Applied mathematics / Constraint satisfaction problem / Graph coloring / Constraint satisfaction / Wireless sensor network / Distributed computing / Local search / Constraint optimization / Algorithm / Constraint programming / Mathematics / Theoretical computer science

Proc. 2nd Intern. Joint Conf. on Autonomous Agent and Multiagent Systems (AAMAS-03), to appear. An Analysis and Application of Distributed Constraint Satisfaction and Optimization Algorithms in Sensor Networks 

Add to Reading List

Source URL: www.cse.wustl.edu

Language: English - Date: 2003-04-05 10:56:04
73Constraint programming / Problem solving / Non-classical logic / Automated planning and scheduling / Constraint satisfaction problem / Control theory / Planning / Modal logic / Mind / Logic / Science / Philosophical logic

PDF Document

Add to Reading List

Source URL: icaps11.icaps-conference.org

Language: English - Date: 2013-04-15 04:52:48
74Constraint satisfaction / Artificial intelligence / Psychological resilience / Distributed constraint optimization / Constraint / Mathematical optimization / Ecological stability / Applied mathematics / Decomposition method / Constraint programming / Computing / Constraint satisfaction problem

PDF Document

Add to Reading List

Source URL: systemsresilience.org

Language: English - Date: 2013-01-05 00:53:12
75Computing / Constraint satisfaction problem / Constraint satisfaction / Local consistency / Schedule / Systems engineering process / Brute-force search / Backtracking / Constraint programming / Software engineering / Computer programming

Using CBR to Format an ES200x Paper

Add to Reading List

Source URL: tidel.mie.utoronto.ca

Language: English - Date: 2006-09-20 10:23:11
76Heuristics / Mathematical optimization / Computer programming / Theoretical computer science / Search algorithms / Heuristic function / Heuristic / Constraint satisfaction problem / Scheduling / Constraint programming / Operations research / Software engineering

Robust constraint solving using multiple heuristics Alfio Vidotto1 , Kenneth N. Brown1 , J. Christopher Beck2 1 Cork Constraint Computation Centre, Dept of Computer Science, UCC, Cork, Ireland

Add to Reading List

Source URL: tidel.mie.utoronto.ca

Language: English - Date: 2006-01-18 12:07:28
77Software engineering / Computer programming / Artificial intelligence / Search algorithms / Problem solving / Constraint satisfaction problem / Backtracking / Mathematical optimization / Constraint satisfaction / Constraint programming / Operations research / Heuristics

Toward Understanding Variable Ordering Heuristics for Constraint Satisfaction Problems  J. Christopher Beck and Patrick Prosser and Richard J. Wallace Abstract. Most previous work on understanding variable ordering heur

Add to Reading List

Source URL: tidel.mie.utoronto.ca

Language: English - Date: 2006-01-18 12:07:27
78Search algorithms / Applied mathematics / Mathematics / Constraint satisfaction problem / Backtracking / Local consistency / Artificial intelligence / Constraint satisfaction / Candidate solution / Constraint programming / Operations research / Mathematical optimization

Backtrack-Free Search for Real-Time Constraint Satisfaction? J. Christopher Beck, Tom Carchrae, Eugene C. Freuder, and Georg Ringwelski Cork Constraint Computation Centre University College Cork, Ireland {c.beck, t.carch

Add to Reading List

Source URL: tidel.mie.utoronto.ca

Language: English - Date: 2006-01-18 12:07:28
79Mathematics / Automated planning and scheduling / Programming paradigms / Operations research / Planning Domain Definition Language / Logic in computer science / Boolean satisfiability problem / Constraint satisfaction / Linear programming / Theoretical computer science / Applied mathematics / Constraint programming

Processes and Continuous Change in a SAT-based Planner 1 Ji-Ae Shin Courant Institute, New York University, New York, NY 10012, USA

Add to Reading List

Source URL: www.cs.nyu.edu

Language: English - Date: 2005-02-14 11:22:18
80Gecode / KLOC / Kloc /  Pomeranian Voivodeship / Royal Institute of Technology / Schulte / Linux kernel / Constraint satisfaction problem / Constraint programming / Software / Computing

Gecode Modeling and Programming

Add to Reading List

Source URL: www.gecode.org

Language: English - Date: 2011-06-15 08:39:11
UPDATE